Философский энциклопедический словарь - многозначная логика
Связанные словари
Многозначная логика
многозначная логика
— логическая система, выражения к-рой принимают в интерпретации более двух истинностных значений (в случае только двух значений — “истинно” или “ложно” — имеет место классическая двузначная логика) , а в общем случае — любое конечное или бесконечное множество значений. Первые такие системы — трехзначная логика высказываний и n-значная логика высказываний—построены Лукасевичем (1920) и Э. Постом (1921). В настоящее время построен ряд систем М. л. и исследуются их философские и структурные аспекты. Работы в области М. л. имели целью решение различных задач, как общелогических, так и специально-научных. Напр., трехзначная и четырехзначная логики высказываний Лукасевича строились с целью создания модальной логики, трехзначное исчисление Д. А. Бочвара — с целью разрешения парадоксов классической математической логики. Следует также отметить приложения М. л. к обоснованию квантовой механики (работы Г. Биркгофа, Дж. Неймана, Рейхенбаха) и к теории релейных схем (работы В. И. Шестакова, Г. Моисила и др.).
Рейтинг статьи:
См. в других словарях
1.
раздел логики, в к-ром множество истинностных значений содержит более чем два элемента. Если в классич. двузначной логике предложения при интерпретации принимают только два значения «истинно» и «ложно», то в М. л. рассматриваются и др. значения (напр., «бессмысленно», «неопределённо» и т. п.). Иногда под М. л. понимают логику, не содержащую исключённого третьего принципа и не имеющую модальных операторов. Как и двузначная логика, М. л. имеет два раздела: логику высказываний и логику предикатов. В зависимости от мощности множества истинностных значений различают конечномногозначные логики (напр., nзначные логики Я. Лукасевича и nзначные логики Д. А.Бочвара) и бесконечномногозначные логики (напр., бесконечнозначная логика Лукасевича и интуиционистская логика) . Семантика М. л. изучается как в виде истинностных таблиц, так и в алгебраич. форме. К алгебраич. аспектам М. л. относится изучение функциональных свойств этих логик (в частности, проблема функциональной полноты). М. л. находит применение в теории автоматич. устройств, в исследовании проблем т. н. искусств. интеллекта, в теоретич. программировании, а также...Советский философский словарь
2.
совокупность логических систем, опирающихся на принцип многозначности. В классической двузначной логике выражения при интерпретации принимают только два значения "истинно" и "ложно", в М. л. рассматриваются и другие значения, напр. "неопределенно", "возможно", "бессмысленно" и т. п. В зависимости от множества истинностных значений различают конечнозначные и бесконечнозначные логики. М. л.является одним из интенсивно развивающихся разделов логики неклассической. Проблема содержательно ясной интерпретации многозначных систем наиболее сложная и спорная в М. л. Об этом выразительно говорит, в частности, обилие интерпретаций, предложенных для самой старой из этих систем трехзначной логики Я. Лукасевича. В соответствии с одной из ее интерпретаций, высказывания должны делиться не просто на истинные и ложные, а на истинные, ложные и парадоксальные. Значение "парадоксально" приписывается высказываниям типа "Данное утверждение является ложным", т. е. тем высказываниям, из допущения истинности которых вытекает их ложность, а их допущения ложности истинность. Промежуточное значение истолковывалось и как...Словарь по логике
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2507 | |
2 | 2323 | |
3 | 1991 | |
4 | 1978 | |
5 | 1936 | |
6 | 1831 | |
7 | 1726 | |
8 | 1661 | |
9 | 1642 | |
10 | 1508 | |
11 | 1426 | |
12 | 1390 | |
13 | 1385 | |
14 | 1380 | |
15 | 1255 | |
16 | 1073 | |
17 | 1066 | |
18 | 1061 | |
19 | 1037 | |
20 | 964 |